61. There's something about Godel : the complete guide to the incompleteness theorem
المؤلف: Berto, Francesco
المکتبة: (طهران)
موضوع: ، Incompleteness theorems,، Godel's theorem,، Mathematics -- Philosophy,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
54
.
B47T813
62. Undecidable theories
پدیدآورنده : Tarski, Alfred
موضوع : ، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
63. Word problems II :
المؤلف: edited by S. I. Adian, W. W. Boone, G. Higman
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Gödel's theorem-- Congresses,Group theory-- Congresses
رده :
QA171
.
W86
64. Word problems; decision problems and the Burnside problem in group theory
المؤلف: edited by W.W.Boone, F.B.Cannonito ]and[R.C.Lyndon
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Groups, Theory of,Godel's theorem -Congresses
رده :
QA
171
.
W85
65. ناتمامیت: اثبات و پارادوکس کرت گودل
المؤلف: / ربکا گلدستین,عنوان اصلی: Incompleteness : the proof and paradox of Kurt Gödel, c2005.,گلدستاین,Goldstein
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: گودل,، کورت,، ۱۹۰۶ - ۱۹۷۸م.,a01,منطق‌دان‌ها,Logicians,منطق‌دان‌ها,Logicians,گودل، قضیه,Godel's theorem,-- سرگذشتنامه,-- Biography,-- سرگذشتنامه,-- Biography,-- ایالات متحده,-- United States,-- اتریش,-- Austria,a10,a10
رده :
QA
۲۹
/
گ
۹
گ
۸ ۱۳۹۴
